Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
581	Combining Static Model Checking with Dynamic Enforcement using the Statecall Policy Language Anil Madhavapeddy Imperial College, South Kensington, London SW1 2AZ, UK [removed] Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Computing Programming language theory Promela Finite-state machine ALGOL 68 Software engineering Automata theory Models of computation
582	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1.  Relations in BDDs 2.  Datalog -> Relational Algebra Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-03-01 03:58:39 Model checking Mathematics COMPASS/Sample Code Man or boy test Boolean algebra Diagrams Binary decision diagram
583	Model Checking An Entire Linux Distribution for Security Violations by Benjamin W. Schwarz Research Project Submitted to the Department of Electrical Engineering and Computer Sciences, Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Object-oriented programming Model checking Software bug Class JavaScript Software engineering Computer programming Computing
584	Int J Softw Tools Technol Transfer[removed]:507–518 DOI[removed]s10009[removed]RERS BDD-based software verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-12 10:11:50 Diagrams Formal methods Boolean algebra Binary decision diagram Model checking Model checkers NuSMV Satisfiability Modulo Theories Abstraction Mathematics Theoretical computer science Applied mathematics
585	Really Natural Linear Indexed Type Checking Arthur Azevedo de Amorim Marco Gaboardi Emilio Jesús Gallego Arias Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Logic Symbol Structure Interpretation Linear temporal logic Μ operator Model theory Mathematical logic Mathematics
586	Proc. TACAS 2015, (c) Springer . Verifiable Witnesses Software Verification and (Report on SV-COMP[removed]Dirk Beyer Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-14 11:39:08 Applied mathematics Formal verification Software verification Model checking Linear temporal logic Verilog Mathematics Formal methods Logic in computer science Theoretical computer science
587	Séminaire de Sûreté de Fonctionnement de l’X Guarded Transitions Systems Antoine Rauzy École Polytechnique Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-08-01 09:29:48 Software engineering Concurrency Automata theory Diagrams Petri net Markov chain Model checking Fault tree analysis Finite-state machine Models of computation Systems engineering Statistics
588	Understanding true probability, model estimates and experimental estimates True probability is the (almost always) unknown actual probability that an event will occur in a given situation. The actual probability of a coi Add to Reading List Source URL: new.censusatschool.org.nz Language: English - Date: 2012-12-02 18:36:58 Psychometrics Probability Statistical hypothesis testing Empirical probability Checking whether a coin is fair Statistics Estimation theory Hypothesis testing
589	Taming Past LTL and Flat Counter Systems Stéphane Demria , Amit Kumar Dharb , Arnaud Sangnierb a b Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-26 04:34:20 Metalogic Proof theory Temporal logic Logic in computer science Linear temporal logic Presburger arithmetic PAT Model checking Satisfiability Mathematical logic Logic Model theory
590	LTL-Model-Checking via Model Composition Ingo Felscher RWTH Aachen University, 52074 Aachen, Germany, [removed], http://automata.rwth-aachen.de/~felscher/ Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-03-01 05:03:49 Temporal logic Automata theory Model checking Model theory First-order logic Symbol Constructible universe Büchi automaton Well-formed formula Logic Mathematical logic Linear temporal logic

UPDATE